The Automatic Metric Monitoring Program
نویسندگان
چکیده
منابع مشابه
Automatic Program Annotation
Techniques were developed by which an Algol-like program, given together with its specifications, may be documented automatically. This documentation expresses invariant relationships that hold between program variables at intermediate points in the program, and explains the actual workings of the program regardless of whether the program is correct. These techniques, formulated as deduction ru...
متن کاملA Metric for Automatic Hole Characterization
1 Professor Faculty of Engineering, Systems Engineering Program, Magdalena University, Colombia, E-mail: [email protected] 2 Professor school of system and informatics, faculty of minas. National University of Colombia Medellin, Colombia, E-mail: [email protected] 3 Student of system and informatics school, faculty of minas. National University of Colombia Medellin, Colombia, E-ma...
متن کاملA Simple Automatic MT Evaluation Metric
This paper describes a simple evaluation metric for MT which attempts to overcome the well-known deficits of the standard BLEU metric from a slightly different angle. It employes Levenshtein’s edit distance for establishing alignment between the MT output and the reference translation in order to reflect the morphological properties of highly inflected languages. It also incorporates a very sim...
متن کاملParaMetric: An Automatic Evaluation Metric for Paraphrasing
We present ParaMetric, an automatic evaluation metric for data-driven approaches to paraphrasing. ParaMetric provides an objective measure of quality using a collection of multiple translations whose paraphrases have been manually annotated. ParaMetric calculates precision and recall scores by comparing the paraphrases discovered by automatic paraphrasing techniques against gold standard alignm...
متن کاملA Metric for Testing Program Verification Systems
The correctness of program verification systems is of great importance, and it needs to be checked and demonstrated to users and certification agencies. One of the contributing factors to the correctness of the whole verification system is the correctness of the background axiomatization, respectively the correctness of calculus rules. In this paper, we examine how testing verification systems ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JALA: Journal of the Association for Laboratory Automation
سال: 2003
ISSN: 1535-5535
DOI: 10.1016/s1535-5535-04-00237-0